Test Methods
The test methods example cover the following example files:
Examples - Back-to-Back Testing
Shows how to do back-to-back testing. The objective is to compare signals run in a MIL environment, with the same signals run afterwards in a SIL environment.
Examples - Equivalence Classes
In this example, equivalence classes and Equivalence Classes assesslets are used.
This example describes how to check which role a signal is playing, if the boundaries are met, of which data type it is, and what the data type name is.
Examples - Requirements Tracing
This example is based on the lights control tutorial model. It includes tests, requirements as well as links between tests and requirements to show the requirements coverage by test cases.